<html><body>
Miscellaneus utility functions and interfaces that should not be in the public API
</body></html>
